Advances in Natural Deduction: A Celebration of Dag Prawitz's Work: 39 (Trends in Logic)
by Luiz Carlos Pereira,Edward Haeusler,Valeria de Paiva
ISBN 13: 9789400775473
Format: Hardcover (296 pages) Publisher: Springer Published: 17 Mar 2014
Save for later
Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings: 9160 (Lecture Notes in Computer Science)
by Valeria de Paiva,Ruy de Queiroz,Lawrence S. Moss,Daniel Leivant,Anjolina G. de Oliveira
ISBN 13: 9783662477083
Format: Paperback (224 pages) Publisher: Springer Published: 07 Jul 2015
by Luiz Carlos Pereira, Valeria de Paiva, Edward Haeusler
ISBN 13: 9789402406870
Format: Paperback (296 pages) Publisher: Springer Published: 03 Sep 2016
Linguistic Issues in Language Technology Vol 9: Perspectives on Semantic Representations for Textual Inference
by Annie Zaenen,Cleo Condoravdi,Valeria De Paiva
ISBN 13: 9781575868448
Format: Paperback (364 pages) Publisher: Center for the Study of Language and Information Published: 03 Mar 2015
Journal of Applied Logics, Volume 8, Number 8, September 2021. Special issue: Intuitionistic Modal Logic and Applications
by Valeria de Paiva,Sergei Artemov
ISBN 13: 9781848903777
Format: Paperback (112 pages) Publisher: College Publications Published: 06 Sep 2021